Counting Environments and Closures

نویسندگان

  • Maciej Bendkowski
  • Pierre Lescanne
چکیده

Environments and closures are two of the main ingredients of evaluation in lambdacalculus. A closure is a pair consisting of a lambda-term and an environment, whereas an environment is a list of lambda-terms assigned to free variables. In this paper we investigate some dynamic aspects of evaluation in lambda-calculus considering the quantitative, combinatorial properties of environments and closures. Focusing on two classes of environments and closures, namely the so-called plain and closed ones, we consider the problem of their asymptotic counting and effective random generation. We provide an asymptotic approximation of the number of both plain environments and closures of size n. Using the associated generating functions, we construct effective samplers for both classes of combinatorial structures. Finally, we discuss the related problem of asymptotic counting and random generation of closed environemnts and closures.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Numerical Modeling of Saline Gravity Currents Using EARSM and Buoyant k- Turbulence Closures

Gravity currents are very common in nature and may appear in rivers, lakes, oceans, and the atmosphere. They are produced by the buoyant forces interacting between fluids of different densities and may introduce sediments and pollutants into water bodies. In this study, the hydrodynamics and propagation of gravity currents are investigated using WISE (Width Integrated Stratified Environments), ...

متن کامل

Capsules and Closures

Capsules are a clean representation of the state of a computation in higher-order programming languages with effects. Their intent is to simplify and replace the notion of closure. They naturally provide support for functional and imperative features, including recursion and mutable bindings, and ensure lexical scoping without the use of closures, heaps, stacks or combinators. We present a comp...

متن کامل

Web Application Migration with Closure Reconstruction

Due to its high portability and simplicity, web application (app) based on HTML/JavaScript/CSS has been widely used for various smart-device platforms. To take advantage of its wide platform pool, a new idea called app migration has been proposed for the web platform. Web app migration is a framework to serialize a web app running on a device and restore it in another device to continue its exe...

متن کامل

Determining Arc Segment Significance in Two Idealized Road Networks

As road networks become increasingly congested, accurate information regarding their vulnerability to an amalgamation of situations becomes more vital. Understanding how accidents, routine closures (due to construction, public events, etc) and even premeditated attacks on individual arcs influence the road network may assist policy makers in decisions on network expansion or planning, helping t...

متن کامل

Nonlinear closures for scale separation in supersonic magnetohydrodynamic turbulence

Turbulence in compressible plasma plays a key role inmany areas of astrophysics and engineering. The extreme plasma parameters in these environments, e.g. highReynolds numbers, supersonic and super-Alfvenic flows, however,make direct numerical simulations computationally intractable even for the simplest treatment—magnetohydrodynamics (MHD). To overcome this problemone can use subgrid-scale (SG...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1802.00640  شماره 

صفحات  -

تاریخ انتشار 2018